Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
Thank you for calling us.
谢谢你打电话给我们。
His support furthered my career.
他的支持促进了我的事业。
They celebrated his birthday with a dance party.
也们举办舞会来祝贺他的生日。